#include <user.h>
#include <defs.h>
#include <io.h>

void NameServer();
void TerminalTxServer();
void IdleTask();

void UserInit() {
  int child_tid;
  child_tid = Create(4, &NameServer, "NameServer");
  child_tid = Create(5, &TerminalTxServer, "TerminalTxServer");
  Create(0, &IdleTask, "IdleTask");

  // bombard UART2 with characters!
  while (TRUE) {
    Printf("A 0123456789 B 0123456789\r\n");
  }
  
  Exit();
}
